منابع مشابه
Intrinsic Functional-Connectivity Networks for Diagnosis: Just Beautiful Pictures?
Resting-state functional connectivity has become a topic of enormous interest in the Neuroscience community in the last decade. Because resting-state data (1) harbor important information that often is diagnostically relevant and (2) are easy to acquire, there has been a rapid increase in the development of a variety of network analytic techniques for diagnostic applications, stimulating method...
متن کاملBeautiful Interpolants
We describe a compositional approach to Craig interpolation based on the heuristic that simpler proofs of special cases are more likely to generalize. The method produces simple interpolants because it is able to summarize a large set of cases using one relatively simple fact. In particular, we present a method for finding such simple facts in the theory of linear rational arithmetic. This make...
متن کاملConstraining Pictures with Pictures
This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...
متن کاملCan Small Be Beautiful?
Etched into the memory of Asraf Ali, was the day in 1987 when the banks of the mighty river Brahmaputra overflowed and washed away the family home. Only 13 years old at the time, he lost both his parents, and their small piece of land to severe flooding in the municipality of Gaibandha, in Bangladesh. He remained homeless until he moved to the centre of Gaibandha to seek work as a pushcart driv...
متن کاملFramelets—small is beautiful
The contribution introduces the notion of framelets. They are essentially small frameworks. Thus framelets can be easily understood and modified. As framelets are not aimed at complex application domains, they can also be assembled without the problems associated with the combination of large frameworks. Our first experiences with framelets demonstrate that these architectural building blocks a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Brain
سال: 2010
ISSN: 0006-8950,1460-2156
DOI: 10.1093/brain/awq084